petroleum mining - German English Dictionary